Nuprl Definition : w-isnull 0,22

isnull(a) == isl(a
latex



clarification:

w-isnull(wa) == isl(a
latex


Definitionsisl(x)
FDL editor aliasesw-isnull

origin